『Mechanising and Verifying the WebAssembly Specification』

Mechanising and Verifying the WebAssembly Specification

C. Watt, "Mechanising and verifying the WebAssembly specification", Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles CA USA: ACM, 2018-01, pp. 53–65. doi: 10.1145/3167082.

asm.js

NaCL

WebAssembly

コンパイルターゲット

キーワード: #スタックマシン #バイトコード #健全性 #Reducion

Bringing the WebAssembly Standard up to Speed with SpecTec

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis

#文献